div#toc ul {
    list-style: none;
}

div#toc ul li ul {
    margin-bottom: 0.75em;
}

div#toc ul li ul li ul {
    margin-bottom: 0.25em;
}

ul.cssfloat {
    overflow: hidden;
}

ul.cssfloat li {
    float: left;
    list-style: none;
    margin: 0 10px;
}

pre {
    background-color: #f3f3f3;
    border: 1px dotted #999;
}
